Search
2 headings found for n 99001738
Heading | Type | Sample Title | |
---|---|---|---|
1 |
Glas, Heinrich, 1942-
Heinrich Glas sculpteur allemand |
Personal | Heinrich Glas [Arbeiten auf Papier, Plastiken] |
2 |
Constable, R. L. (Robert L.)
Constable, Robert L. Robert Lee Constable Amerikaans informaticus Constable, R. L. Constable, Robert Lee 1952- Constable, Robert Lee Robert Lee Constable American computer scientist Constable, Robert L. 1942- |
Personal | Implementing mathematics with the Nuprl proof development system Implementing mathematics with the Nuprl proof development system Implementing mathematics with the Nuprl proof development system An introduction to the PL/CV2 programming logic La couv. porte en plus : "Covers all course fundamentals and supplements any cla ... Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of ... |